La notion d'échelles temporelles

Histoire de la notion de vie

but it has also involved a narrowing of the perspective. Few subjects more certainly demand an international perspective than war. To mention only a couple of facts that support this remark, let me remind the reader that: (1) as the aggressive interpretation of Darwinism was often presented as a typical German craze, something more should have been said on Germany at least; (2) there were natio...

Un modele de la Notion du CAS

On appelle segment toute partie d'un texte ~crit d~limit~e par deux espaces en blanc voisins. Admettons que nous savons ddterminer si une suite donn~e de segments forme une phrase grarmmaticalement correcte. Admettons que nous avons relev~ de quelque mani~re tousles segments appartenant aux substantifs ( = "segments substantivaux"). Admettons enfin que nous savons d~terminer si les deux segment...

Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones

Formal verification is essential for ensuring the reliability of complex, critical applications such as communication protocols and distributed systems. The model checking approach consists in translating the application into a labelled transition system model, on which the correctness properties, expressed as temporal logic formulas, are verified by means of specific algorithms. This report pr...

Une généralisation de la notion d'automate et applications

Structuration de données spatio-temporelles temps-réelles : vers la gestion de la saturation de base de données

The spatio-temporal databases in the monitoring systems of natural phenomena must be able to meet real-time requirements due to the semi-generalized use of sensor networks. The indexing method of the in-memory base must take into account several characteristics: primacy of the most recent data and updates queries, spatial positioning of the sensors, heavy charge load... Our first proposals, the...